Make documentation build works outside of git repository
authorJean Baptiste Favre <debian@jbfavre.org>
Sun, 6 Dec 2020 16:00:17 +0000 (16:00 +0000)
committerJean Baptiste Favre <debian@jbfavre.org>
Sun, 6 Dec 2020 16:00:17 +0000 (16:00 +0000)
commite220d37236774b7b4c402810a7153a722bc44f84
treea693255599bf4eb22b16f999c6d30d971d7caecd
parent71e9a80438f644e1eaeb14512fe38713a7cadcb7
Make documentation build works outside of git repository

Origin: other
Last-Update: 2019-01-03

Current documentation build requires git and curl to get some stuff from the internet
This patch aims to delete those dependencies, forcing git branch to master,
and using Debian provided plantuml instead of downloading it from apache mirror
Last-Update: 2019-01-03
Gbp-Pq: Name 0006-fix-doc-build.patch
doc/Makefile.am
doc/ext/traffic-server.py
doc/manpages.py
doc/uml/Makefile.am